/* Copyright (c) 2010, Carl Burch. License information is located in the
 * com.cburch.logisim.Main source code and at www.cburch.com/logisim/. */

package com.cburch.logisim.std.gates;

import java.awt.Graphics;

import com.cburch.logisim.analyze.model.Expression;
import com.cburch.logisim.analyze.model.Expressions;
import com.cburch.logisim.data.Value;
import com.cburch.logisim.instance.InstancePainter;
import com.cburch.logisim.instance.InstanceState;
import com.cburch.logisim.util.GraphicsUtil;
import static com.cburch.logisim.util.LocaleString.*;

class NandGate extends AbstractGate {
    public static NandGate FACTORY = new NandGate();

    private NandGate() {
        super("NAND Gate", getFromLocale("nandGateComponent"));
        setNegateOutput(true);
        setRectangularLabel(AndGate.FACTORY.getRectangularLabel(null));
        setIconNames("nandGate.svg", "nandGateRect.svg", "dinNandGate.svg");
    }

    @Override
    public void paintIconShaped(InstancePainter painter) {
        Graphics g = painter.getGraphics();
        int[] xp = new int[] { 8, 0, 0, 8 };
        int[] yp = new int[] { 2, 2, 18, 18 };
        g.drawPolyline(xp, yp, 4);
        GraphicsUtil.drawCenteredArc(g, 8, 10, 8, -90, 180);
        g.drawOval(16, 8, 4, 4);
    }

    @Override
    protected void paintShape(InstancePainter painter, int width, int height) {
        PainterShaped.paintAnd(painter, width, height);
    }

    @Override
    protected void paintDinShape(InstancePainter painter, int width, int height,
            int inputs) {
        PainterDin.paintAnd(painter, width, height, true);
    }

    @Override
    protected Value computeOutput(Value[] inputs, int numInputs,
            InstanceState state) {
        return GateFunctions.computeAnd(inputs, numInputs).not();
    }

    @Override
    protected Expression computeExpression(Expression[] inputs, int numInputs) {
        Expression ret = inputs[0];
        for (int i = 1; i < numInputs; i++) {
            ret = Expressions.and(ret, inputs[i]);
        }
        return Expressions.not(ret);
    }

    @Override
    protected Value getIdentity() { return Value.TRUE; }
}
